31![ISSUE 14 June[removed]www.nicta.com.au NICTA Takes Innovation to the World ISSUE 14 June[removed]www.nicta.com.au NICTA Takes Innovation to the World](https://www.pdfsearch.io/img/4d1806fecd787a7217a602cb118b5b9c.jpg) | Add to Reading ListSource URL: www.nicta.com.auLanguage: English - Date: 2015-02-08 20:31:41
|
---|
32![Automatic Device Driver Synthesis with Termite Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser UNSW, NICTA, Open Kernel Labs (Australia), John Keys, Intel
Conventional driver development Automatic Device Driver Synthesis with Termite Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser UNSW, NICTA, Open Kernel Labs (Australia), John Keys, Intel
Conventional driver development](https://www.pdfsearch.io/img/0567112dd12fd47a7f5520ef6c607d73.jpg) | Add to Reading ListSource URL: www.sigops.orgLanguage: English - Date: 2009-10-12 16:19:00
|
---|
33![ISSUE 15 October[removed]www.nicta.com.au NICTA Puts ICT Innovation First ISSUE 15 October[removed]www.nicta.com.au NICTA Puts ICT Innovation First](https://www.pdfsearch.io/img/aef0a83b3e21289916de491144f6bb4f.jpg) | Add to Reading ListSource URL: www.nicta.com.auLanguage: English - Date: 2015-02-08 20:31:42
|
---|
34![Post-Publication Update for 2012 USENIX Annual Technical Conference Proceedings Add Paul Barham, Microsoft, to the list of Program Committee members. The full list should read: Program Co-Chairs Gernot Heiser, NICTA and Post-Publication Update for 2012 USENIX Annual Technical Conference Proceedings Add Paul Barham, Microsoft, to the list of Program Committee members. The full list should read: Program Co-Chairs Gernot Heiser, NICTA and](https://www.pdfsearch.io/img/7af6b4647a26da5fcb45345c5ae4d1bb.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English - Date: 2015-04-01 19:46:21
|
---|
35![ISSUE 18 June[removed]www.nicta.com.au Continued funding provides solid foundation for ICT research ISSUE 18 June[removed]www.nicta.com.au Continued funding provides solid foundation for ICT research](https://www.pdfsearch.io/img/463e4344fb9fe0b67e378c2b3f577367.jpg) | Add to Reading ListSource URL: www.nicta.com.auLanguage: English - Date: 2015-02-08 20:31:48
|
---|
36![ISSUE 17 March[removed]www.nicta.com.au NICTA writes recipe for impact ISSUE 17 March[removed]www.nicta.com.au NICTA writes recipe for impact](https://www.pdfsearch.io/img/f94f616d9c873ec163d615720c91da65.jpg) | Add to Reading ListSource URL: www.nicta.com.auLanguage: English - Date: 2015-02-08 20:31:43
|
---|
37![ISSUE 19 September[removed]NICTA shines with world-first research and biggest-ever Techfest Hello and welcome to the September ISSUE 19 September[removed]NICTA shines with world-first research and biggest-ever Techfest Hello and welcome to the September](https://www.pdfsearch.io/img/4651fcd5e8cf92b85bc9d2f084cd5868.jpg) | Add to Reading ListSource URL: www.nicta.com.auLanguage: English - Date: 2015-02-08 20:31:50
|
---|
38![Locked Bag 9013 Alexandria NSW 1435 Tel: +[removed]Fax: + [removed]CRL - Canberra Research Laboratory Locked Bag 9013 Alexandria NSW 1435 Tel: +[removed]Fax: + [removed]CRL - Canberra Research Laboratory](https://www.pdfsearch.io/img/16bb93cb742c5da13f6ea921244a8eab.jpg) | Add to Reading ListSource URL: www.nicta.com.auLanguage: English - Date: 2015-02-06 06:52:49
|
---|
39![seL4: Formal Verification of an OS Kernel Gerwin Klein1,2 , Kevin Elphinstone1,2 , Gernot Heiser1,2,3 June Andronick1,2 , David Cock1 , Philip Derrin1∗, Dhammika Elkaduwe1,2‡, Kai Engelhardt1,2 Rafal Kolanski1,2 , Mi seL4: Formal Verification of an OS Kernel Gerwin Klein1,2 , Kevin Elphinstone1,2 , Gernot Heiser1,2,3 June Andronick1,2 , David Cock1 , Philip Derrin1∗, Dhammika Elkaduwe1,2‡, Kai Engelhardt1,2 Rafal Kolanski1,2 , Mi](https://www.pdfsearch.io/img/5474755444bc442934902135813fe67d.jpg) | Add to Reading ListSource URL: www.ok-labs.comLanguage: English - Date: 2010-10-07 14:23:07
|
---|
40![ISSUE 37 | JULY[removed]INSIDE Queen’s Birthday honours for Dr Terry Percival ISSUE 37 | JULY[removed]INSIDE Queen’s Birthday honours for Dr Terry Percival](https://www.pdfsearch.io/img/09437a9a07c287cb8b2b52bbb85dbf36.jpg) | Add to Reading ListSource URL: www.nicta.com.auLanguage: English - Date: 2015-02-08 20:31:56
|
---|